/patch-doc_indent_texinfo/1.1/Mon Aug 26 02:55:09 2002//
/patch-man_Makefile_in/1.2/Tue Sep 11 23:40:52 2012//
/patch-man_texinfo2man_c/1.2/Tue Sep 11 23:40:52 2012//
/patch-src_args_c/1.3/Tue Sep 11 23:40:52 2012//
/patch-src_globs_c/1.2/Tue Sep 11 23:40:52 2012//
D
